[<Optional{caret}>]
module M
()
